homotopy type invariant

同伦型不变量